(* this is an -*- sml -*- file *)

val _ = use "poly/Mosml.sml";
val _ = use "poly/Binarymap.sig";
val _ = use "poly/Binarymap.sml";
val _ = use "poly/Binaryset.sig";
val _ = use "poly/Binaryset.sml";
val _ = use "poly/Listsort.sig";
val _ = use "poly/Listsort.sml";
val _ = use "../tools/Holmake/holpathdb.sig";
val _ = use "../tools/Holmake/holpathdb.sml";
val _ = use "../tools-poly/Holmake/CompilerSpecific.ML";
val _ = use "../tools/Holmake/Systeml.sig";
val _ = use "../tools-poly/Holmake/Systeml.sml";
